dfa for binary number divisible by 3